- 存在可定義集
- definable: adj. 可限定的，有界限的；能下定義的。
- set: vt. (set; setting) 1.放；擱；貼；靠 ...
- existentially quantified variable: 存在量詞化變?cè)? 存在量化變數(shù)
- uniquely definable point: 明顯地物點(diǎn)
- user definable key: 用戶定義關(guān)鍵字; 用戶可定義鍵
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
existentially definable set中文什么意思
- 存在可定義集
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
相關(guān)詞匯
- definable: adj. 可限定的，有界限的；能下定義的。
- set: vt. (set; setting) 1.放；擱；貼；靠 ...
- existentially quantified variable: 存在量詞化變?cè)? 存在量化變數(shù)
- uniquely definable point: 明顯地物點(diǎn)
- user definable key: 用戶定義關(guān)鍵字; 用戶可定義鍵
- user definable keys: 用戶定義功能鍵
- a set: 一局; 一套；一副
- a set of: 套/組/副; 一串; 一套,一副; 一組
- be set in: 以…為背景/場(chǎng)景
- be set to: 認(rèn)真開(kāi)始干
- for a set: 元一套
- in set: 成套
- not set: 不能設(shè)置
- on the set: 在片場(chǎng)
- s-set: 海鮮
- set: SET ＝safe electronic transaction 安全電子交易〔指用信用卡通過(guò)因特網(wǎng)支付款項(xiàng)的商業(yè)交易〕。 n. 【埃及神話】賽特〔古埃及神話中獸頭人身象征邪惡的神〕。 vt. (set; setting) 1.放；擱；貼；靠。 set a cup on the table 把杯子放在桌上。 set it against the wall 把它靠在墻上。 set eyes on 注視；碰見(jiàn)。 2.安置；布置；安排；設(shè)置；裝置。 set a guard at the gate 派衛(wèi)兵守門(mén)。 3.使固定。 set a butterfly 釘住蝴蝶(做標(biāo)本)。 set a cutting tool on a carriage 把切削刀具固定在刀架上。 4.鑲；嵌。 set a jewel 鑲寶石。 an island set in a sea of silver 鑲在銀色海面上的一個(gè)島。 5.種植。 set seeds [plants] 播種；種(植物)。 6.揚(yáng)(帆)；扯上；扯開(kāi)。 set sail 張帆；開(kāi)船。 7.設(shè)(陷阱)；張(羅網(wǎng))。 8.點(diǎn)燃；放(火)。 set fire to 放火。 9.簽(字)；蓋(章)。 set seal [signature] to the deed 在證書(shū)上蓋章[簽字]。 set one's hand to a document 在文件上簽字。 10.樹(shù)立(榜樣、模范)。 set an example 樹(shù)立榜樣；示范；以身作則。 set the fashion 樹(shù)立新型樣板；開(kāi)風(fēng)氣。 11.規(guī)定；約定；擇定(日子等)；指定(地點(diǎn))；劃定(界限)；確定；決定；制定；頒布。 set a price 定價(jià)錢(qián)。 set the atomic mass of hydrogen at 1 atomic mass unit 把氫原子量定為一個(gè)原子量單位。 12.創(chuàng)造(記錄)。 set a new production record 創(chuàng)造新的生產(chǎn)記錄。 13.使堅(jiān)固；使凝結(jié)；弄硬；使牢固。 set the white of an egg by boiling it 煮蛋使蛋白凝固。 Cold sets jellies. 果子凍[肉凍]因冷而凍結(jié)。 14.使(頭發(fā))成波浪形；卷(頭發(fā))。 set one's hair 把頭發(fā)卷[作]成波浪形。 15.接骨；整骨。 set the broken bone 正骨。 16.銼(鋸齒)；搶(梯刀)；對(duì)(鐘、表)，撥準(zhǔn)(鐘的指針)；校正(儀器)；調(diào)整。 set a clock [watch] by the TV time signal 按電視臺(tái)的報(bào)時(shí)對(duì)鐘[表]。 set an alarm clock (for five a. m.) 把鬧鐘撥到早晨五點(diǎn)。 17.提出(問(wèn)題，任務(wù))；出(題目)；指定(作業(yè))。 set an examination paper 出考試題目。 18.排(鉛字)。 19. 使從事；使…[指定]做某事[某動(dòng)作]。 set him to the task 使[指定]他做那件工作。 20.專(zhuān)心；集中；傾注。 set one's heart on ... 一心要；迷戀。 set one's affections on 愛(ài)上；熱愛(ài)。 21.使處于某種狀態(tài)。 set his mind at ease 使他安心。 set a question at rest 使問(wèn)題得到解決。 set machines in motion 使機(jī)器開(kāi)動(dòng)。 set the bell a-ring 把鐘敲響。 set right 矯正；弄正。 set things going 使事情進(jìn)行下去。 set affairs in order 使事情就緒。 22.為(詩(shī)、詞)譜曲；改寫(xiě)(樂(lè)曲)；配(布景)。 set piano music for the violin 改鋼琴曲成小提琴曲。 set word to music 將歌詞編成曲子。 23.使(母雞)孵蛋。 set a hen 使一母雞孵蛋。 24.〔橋牌〕打敗(對(duì)手)。 25.使朝某一方向。 set one's feet homeward 朝回家的方向走。 26.使移動(dòng)。 set a match of fire 以火柴點(diǎn)火。 set a pen to paper 提筆寫(xiě)字，著書(shū)立說(shuō)。 27.〔方言〕使坐下。 28.釋放。 set a prisoner free 釋放犯人。 29.(獵狗)以鼻指著(獵物)以指示其位置。 30.使(顏色)固著。 vi. 1.(太陽(yáng)等)(沉)落；偏西。 The sun has set. 太陽(yáng)落了。 His star has set. 他的命運(yùn)完了。 2.(液體等)凝固；凝結(jié)；固定。 The jelly has set. 肉凍凝結(jié)起來(lái)了。 His character has set. 他的性格固定下來(lái)了。 His face set. 他繃起面孔。 Her eyes set. 她的眼睛瞪住了。 3. 著手；從事。 4.開(kāi)始活動(dòng)；開(kāi)始工作。 5.(水、風(fēng)等)流向；吹向；(感情、意見(jiàn)等)傾向。 The tide sets in [out]. 潮水漲[退]了。 6.結(jié)果實(shí)；結(jié)子兒。 7.植樹(shù)；插樹(shù)。 8.(母雞)孵卵。 9.(衣服等)合身；適合。 The coat sets badly. 這件上衣不合身。 10.(獵犬)站住指示獵物所在。 11.(跳舞)采取面對(duì)面姿勢(shì)。 12.(骨)接合；(金屬)永久變形。 13.〔方言〕坐。 14.(頭發(fā))卷成波浪形。 15.攻擊 (upon)。 16.(顏色)固著。 be hard set 1. 處于為難境地 (for to)。 2. (蛋)在孵化中。 3. 感到饑餓。 be sharp set 1. 很餓。 2. 渴求。3. (臉)表情嚴(yán)肅。 set a case 假定。 set a limit to (規(guī)定)限制；縮減(冗費(fèi))。 set a thief [rogue] to catch a thief [rogue] 以毒攻毒。 set about 1. 開(kāi)始；下手；著手。 2. 〔口語(yǔ)〕攻擊。 3. 散布(謠言)。 4. 〔俚語(yǔ)〕連接毆打；亂打。 set abroad 散布；推廣；宣揚(yáng)；公開(kāi)發(fā)表。 set afloat 1. 落水；使下水。 2. 著手；開(kāi)始。 set against 1. 比較；對(duì)照。2. 使對(duì)抗；使反對(duì)；使猜忌。 3. 使平衡。4. 使不和；離間。 5. 賭。 set agoing [going] 使動(dòng)；開(kāi)動(dòng)；使開(kāi)行。 set apart 1. 留出(充當(dāng)別用)。 2. 分開(kāi)；分離。 set aside 撥出；擱置；駁回。 set at 襲擊；嗾使(狗等)。 set at ease [rest] 使安心；安慰；撫慰。 set at large [liberty] 釋放；解放。 set at odds, set at variance 挑撥離間；使?fàn)幊常皇勾蚣堋?set back 1. 阻礙；阻止。 2. 使挫折；使退步。 3. 撥慢(鐘表的方針)。 4. 〔美口〕使(某人)花錢(qián) (How much did it set you back 它使你花了多少錢(qián)？)。 set before 1. 擺在…前面；拿出；盛出(食物)；(把酒)斟出。 2. 告訴(事實(shí)等)；陳述；說(shuō)明；勸導(dǎo)。 set by 1. 擱在一旁；拿開(kāi)；擱起；藏起；保留。 2. 尊重；珍重。 set by the compass 按羅針儀測(cè)定(方位)。 set by the heels 1. 上腳鐐。 2. 拘禁；監(jiān)禁；逮捕；使不能活動(dòng)[無(wú)能，無(wú)用]。 3. 弄翻；弄倒。 set down 1. 擱下；丟下。 2. 讓乘客下車(chē)；把東西卸下車(chē)。 3. 記入；登記。 4. 定；設(shè)；制定。
- set a: 一套表
- set as: 設(shè)定為; 設(shè)置為
- set at: 設(shè)置成; 襲擊
- set by: 把...留開(kāi)
- set in: 1.固定；停當(dāng)。 2.漲潮。 3.進(jìn)來(lái)；來(lái)到。 4.開(kāi)始 (The rainy season has set in. 雨季開(kāi)始了)。
- set on: 1.前進(jìn)。 2.嗾使；挑唆；挑撥；煽動(dòng)；鼓動(dòng)。 3.使跟蹤追趕。 4.【火箭】定位；調(diào)節(jié)。 5.置放(在上)；端上(桌子)。 6.決心要拿到。 7.埋頭；專(zhuān)心(工作等)。 8.攻擊；襲擊。
- set to: 大干起來(lái)；大吃起來(lái)；爭(zhēng)吵起來(lái); 調(diào)到; 開(kāi)始認(rèn)真干, 開(kāi)始大吃, 爭(zhēng)吵起來(lái); 開(kāi)始爭(zhēng)論、格斗，開(kāi)始起勁地工作，著手
- set-in: n. (潮等的)上漲；開(kāi)始；(冰霜雨雪的)來(lái)臨，降落。 2.adj. 套入的；嵌裝在里面的；附建在墻壁上的。
- set-to: n. (pl. set-tos) 毆斗；拳賽；爭(zhēng)論；較量。